Performance optimisation of a CNC machine through exploration of timed state space
نویسندگان
چکیده
Flexible production units provide very efficient mechanisms to adapt the type and production rate according to fluctuations in the demand. The optimal sequence of the different manufacturing tasks in each machine is a challenging problem that can deal with important productivity benefits. In this paper a Coloured Petri Net model of an eyeglass flexible production machine to support the evaluation of different task sequences for a given production mix, is presented. The problem of finding an optimal sequence for this machine is faced with an approach which uses the state space of the model as a search space. Due to the state space explosion, the model has been developed to support some heuristics in order to avoid the analysis of non-optimal scenarios. Proceedings of the European Modeling and Simulation Symposium, EMSS 2009 Vol II ISBN 978-84-692-5415-8 20
منابع مشابه
Optimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System
Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...
متن کاملOptimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System
Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...
متن کاملDistributing Timed Model Checking - How the Search Order Matters
In this paper we address the problem of distributing model checking of timed automata. We demonstrate through four real life examples that the combined processing and memory resources of multiprocessor computers can be effectively utilized. The approach assumes a distributed memory model and is applied to both a network of workstations and a symmetric multiprocessor machine. However, certain un...
متن کاملTimed Transition Automata as Numerical Planning Domain
A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The languag...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJSPM
دوره 6 شماره
صفحات -
تاریخ انتشار 2010